Formal Design and Synthesis of GALS Architectures

1549 Heterogeneous Reactive Systems Modeling and Correct - by - Construction Deployment Albert Benveniste , Luca P . Carloni , Paul Caspi

We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous designs over GALS architectures, and the deployment of synchronous designs over the socalled Loosely Time-Triggered Architectures. This report is an...

Globally Asynchronous Elastic Logic Synthesis

The main aim of this project is to deliver an integrated design methodology for synthesising digital systems with mixed synchronous-asynchronous architectures. The proposed technique combines Globally Asynchronous Locally Synchronous (GALS) design with Elastic Logic principles. Elastic Logic and Asynchronous design are envisioned to share a common timing discipline which should simplify the GAL...

A Framework for Modeling the Distributed Deployment of Synchronous Designs

Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the target architecture is a distributed system, implementing a synchronous specification as a synchronous design may be inefficient in terms of both size (memory for software implementations or area for hardware impleme...

A step towards reconciling GALS industrial design with formal verification

Design Flow for a 3-Million Transistor GALS Test Chip

We present a design methodology that has been employed on a GALS test chip with three million transistors using a 0 25μm CMOS technology. The chip contains 25 GALS modules interconnected using four different bus architectures, various additional test stuctures, and occupies a total area of 25mm2. Hierarchical composition and timing verification, in conjunction with a small library of self-timed...